Mathematical Logic – alle Bücher

Kurt Gödel, Hans Hahn,
Mathematical Logic in Vienna

Vienna Circle Institute Library - Band 13

This book is a record of a seminar on mathematical logic Kurt Gödel and Hans Hahn held in Vienna in 1931-32. The seminar proceedings, given in English translation, are a unique witness of the state of res…

lieferbar innerhalb 2-3 Wochen

Buch

Christopher J. Ash, Christopher J. Brickhill, Guillermo Badia, John C. Stillwell
What Is Mathematical Logic?

Mathematical logic has grown into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable…

lieferbar in mind. 4 Wochen

Buch

Dirk W. Hoffmann
Limits of Mathematics

Mathematics Study Resources - Band 19

Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number?Modern mathematical logic of the twentieth centu…

lieferbar innerhalb 2-3 Wochen

Buch

William M. Farmer
Simple Type Theory

Computer Science Foundations and Applied Logic

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to sim…

lieferbar innerhalb 2-3 Wochen

Buch

Ludwig Wittgenstein,
Remarks on Mathematics and Logic

The first of five planned volumes, this book collects Wittgenstein's unabridged writings on mathematics and logic composed between 1941 and 1943.In 1956, a significant but abridged portion of Ludwig Wittg…

lieferbar ab 15.11.2026.

Buch

Massimiliano Carrara, Enrico Martino
Arbitrary Reference in Logic and Mathematics

This book develops a new approach to plural arbitrary reference and examines mereology, including considering four theses on the alleged innocence of mereology. The authors have advanced the notion of plu…

lieferbar innerhalb 2-3 Wochen

Buch

Mathematics and Logics in Computer Science

Algorithms for Intelligent Systems

This book presents high-quality research papers presented at the International Conference on Mathematics and Logics in Computer Science (ICMLCS 2025) held at Allenhouse Institute of Technology, Kanpur, In…

lieferbar innerhalb 2-3 Wochen

Buch

The Legacy of A.V. Kuznetsov in Logic, Algebra and the Foundations of Mathematics

Trends in Logic

This book is dedicated to the 100th anniversary of the birth of A. V. Kuznetsov, who was born in 1926 and whose achievements laid new paths for the development of many branches of non-classical logic in t…

lieferbar ab 9.9.2026.

Buch

The Heuristic View

This volume offers a series of thought-provoking analyses that explore non-mainstream perspectives on knowledge acquisition and scientific discovery. A central theme across many of the contributions is th…

lieferbar innerhalb 2-3 Wochen

Buch

Andrea Iacona
Logic

Springer Undergraduate Texts in Philosophy

This second edition improves upon the first by offering a more detailed treatment of key topics and by expanding the set of problems and exercises. In particular, four new features deserve mention. First,…

lieferbar ab 7.9.2026.

Buch

John Stillwell
The Story of Proof

How the concept of proof has enabled the creation of mathematical knowledgeThe Story of Proof investigates the evolution of the concept of proof-one of the most significant and defining features of mathem…

lieferbar ab 8.9.2026.

Buch

Mathew Bomki Laghai
Forgiveness as a Hermeneutical Key to the Gospel of Matthew

Wissenschaftliche Untersuchungen zum Neuen Testament 2. Reihe

Mathew Bomki Laghai explores the concept of forgiveness in the Gospel of Matthew, focusing on the verb , and argues that it should not be understood as a uniform theme but rather as a complex and multi-fa…

lieferbar ab 31.12.2026.

Buch

Francisco Rodríguez-Consuegra
Russell, Gödel, Tarski

Studies in Universal Logic

This book is a compilation of the author's most important papers about the contributions of Bertrand Russell, Kurt Gödel, and Alfred Tarski to the philosophy of logic and mathematics. It also includes a p…

lieferbar innerhalb 2-3 Wochen

Buch

Logic puzzle

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. A logic puzzle is a puzzle deriving from the mathematics field of deduction.…

lieferbar innerhalb 2-3 Wochen

Buch

Burkard Polster
Qed

Which famous proof did Archimedes inscribe on his tombstone? How and why do knots make perfect pentagons? Have you ever seen a proof so complete that it is just obvious?In this delicious little book, top …

lieferbar ab 15.9.2026.

Buch

Lewis Carroll
The Game of Logic

Reproduction of the original, first published in 1886. Late 19th-century British mathematical logic gamebook. A clever instructional treatise presenting symbolic logic parameters, syllogism diagrams, and …

lieferbar innerhalb 2-3 Wochen

Buch

Lewis Carroll
The Game of Logic

Reproduction of the original, first published in 1886. Late 19th-century British mathematical logic gamebook. A clever instructional treatise presenting symbolic logic parameters, syllogism diagrams, and …

lieferbar innerhalb 2-3 Wochen

Buch

Language Change: Theoretical and Empirical Perspectives

Jerusalem Studies in Philosophy and History of Science

This book offers a comprehensive exploration of recent advances in empirical, theoretical, and experimental research on language change, with a focus on semantic evolution. Bridging the gap between histor…

lieferbar innerhalb 2-3 Wochen

Buch

Pillars of Enduring Strength

Mathematician Hermann Weyl's philosophy of mathematics is a rich source of original and sophisticated ideas that remain highly relevant to contemporary debates in the field. Despite this, Weyl's philosoph…

lieferbar ab 8.12.2026.

Buch

Sébastien Gandon
Bertrand Russell and the Global Reception of Analytic Philosophy

History of Analytic Philosophy

This book provides the first exploration of a new field of study, that of the global reception of analytic philosophy. Its aim is to understand how Russell's program of logical analysis of philosophy was …

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Mathematical Logic" - alle Bücher